461. Semantics and algebraic specification
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
462. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
Author: edited by Neil D. Jones
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
94
463. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
Author: / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Parallel programming (Computer science) - Congresses,Programming languages (Electronic computers) - Semantics - Congresses
Classification :
QA76
.
642
.
I56
1990
464. Semantics : foundations and applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992 : Proceedings
Author: J.W. de Baker, W.P. de Roever, G. Rozenberg )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
666
465. Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses
Classification :
QA
76
.
7
.
R49
1992
466. Semantics of concurrent computation :
Author: edited by Gilles Kahn.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.
Classification :
QA76
.
6
E358
1979
467. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979
Author: International Symposium on Semantics of Concurrent Computation, )9791, Evian-les-Bains, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel processing )Electronic computers(-- Congresses,، Programming languages )Electronic computers(-- Semantics-- Congresses
Classification :
QA
76
.
6
.
I577
1979
468. Semantics of data types :
Author: edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
469. Simulation programming languages
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers) -- Congresses►Simulation methods -- Congresses
Classification :
76
.
5
.
I3
470. Simulation programming languages. Proceedings of the IFIP Working Conference on Simulation Programming Languages
Author: IFIP Working Conference on Simulation Programming Languages, )7691, Oslo, Norway(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses,، Simulation methods-- Congresses
Classification :
QA
76
.
5
.
I3
1967
471. Simulation programming languages. Proceedings of the IFIP Working Conference on Simulation Programming Languages
Author: / Edited by J. N. Buxton
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Congresses,Simulation methods -- Congresses
Classification :
QA
76
.
5
.
I3
1967
472. Software Engineering; an Advancd Course
Author: edited by F. L. Bauer
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming- Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
A33
1972a
473. Software engineering
Author: Computer and Information Sciences Symposium, 3d, Miami Beach, Fla., 1969
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Electronic digital computers- Congresses►Programming languages (Electronic computers)- Congresses►Information storage and retrieval systems- Congresses►Artificial intelligence- Congresses
Classification :
76
.
5
.
C61255
474. Software engineering
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Electronic digital computers- Programming Congresses
Classification :
76
.
6
.
S6173
475. Software engineering: an advanced course
Author: )by( F.L. Bauer...)et al.( edited by F. L.Bauer
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programing - Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
A33
1972b
476. Software engineering: an advanced course Reprint of the first edition
Author: / Edited by F. L. Bauer
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic digital computers - Programming - Congresses,Programming language (Electronic computers) - Congresses
Classification :
001
.
6425
S681
477. Software engineering; concepts and techniques. Proceedings of the NATO conferences
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-programming-- Congresses
Classification :
QA
76
.
6
.
S618
478. Software engineering: concepts and techniques; proceedings of the NATO Conferences
Author: / Edited by Peter Naur, Brian Randell, J. N. Buxton
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic digital computers - Programming - Congresses
Classification :
642
.
5
S6815
479. Software engineering education: needs and objectives; proceddings of and interface Workshop
Author: Interface workshop on Software Engineering Education, University of California, Irvine
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming - Study and Teaching)Higher( - Congresses ، Electronic digital computers
Classification :
QA
76
.
6
.
I527
1976
480. Software engineering; proceedings of a symposium
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-programming-- Congresses
Classification :
QA
76
.
6
.
S96
